<div>
  Utilizza WebSocket per connettersi al master Jenkins anziché una porta TCP. Si
  veda
  <a href="https://www.jenkins.io/jep/222">JEP-222</a>
  per il contesto.
</div>
